Concurrency computer science) - PDFSEARCH.IO - Document Search Engine

Concurrency computer science)
Results: 359

#	Item
11	L8: Memory Models CSE 452 Winter 2016 “There are only two hard things in computer science: cache invalidation and naming things.”  - Phil Karlton Add to Reading List Source URL: courses.cs.washington.edu Language: English - Date: 2016-01-22 21:17:29 Computing Computer architecture Transaction processing Concurrency control Consistency model Cache coherency Sequential consistency Linearizability Cache Eventual consistency Sync Weak consistency
12	Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings Claus Schr¨oter1 and Victor Khomenko2 1 Institut f¨ Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2004-10-12 04:45:38 Models of computation Concurrency Diagrams Petri net Software engineering Symbol Model checking Theoretical computer science Metaphor
13	faturu-encv-May7-2015-web Add to Reading List Source URL: users.ics.forth.gr Language: English - Date: 2015-05-07 09:12:30 Concurrent computing Computing Computer science Distributed computing Symposium on Parallelism in Algorithms and Architectures Symposium on Principles of Distributed Computing ACM SIGACT Concurrency control Transaction processing International Symposium on Distributed Computing Theoretical computer science Symposium on Principles and Practice of Parallel Programming
14	Model based approach to verification of higher-order programs (Invited Talk) Igor Walukiewicz CNRS Bordeaux University, France Add to Reading List Source URL: refal.botik.ru Language: English - Date: 2016-03-08 11:18:53 Distributed computing Safety Liveness Computing Formal methods Software engineering Concurrency Logic in computer science
15	Revisiting: Algebraic laws for nondeterminism and concurrency Matthew Hennessy Milner-Symposium, Edinburgh Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:01 Theoretical computer science Logic in computer science Formal methods Programming language semantics Models of computation Denotational semantics Process calculi Matthew Hennessy Semantics Maurice Nivat Bisimulation Negation
16	PDF Document Add to Reading List Source URL: people.ee.ethz.ch Language: English - Date: 2016-07-12 03:35:12 Models of computation Concurrency Diagrams Software engineering Petri nets Theoretical computer science Metaphor
17	Wait-Free Synchronization MAURICE HERLIHY Digital Equipment Corporation Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2002-12-21 00:55:01 Computing Concurrency control Concurrent computing Concurrency computer science) Linearizability Shared register Consensus Synchronization Lock Communications protocol Futures and promises Shared snapshot objects
18	Microsoft Word - CFPDraft- PN Add to Reading List Source URL: petrinets2014.cnam.fr Language: English - Date: 2013-06-24 11:01:34 Concurrency Models of computation Petri nets Theoretical computer science International Conference on Applications and Theory of Petri Nets and Concurrency Software engineering Diagrams Computing Model checking Wil van der Aalst Petri
19	Microsoft PowerPointTunis Brauer.pptx Add to Reading List Source URL: petrinets2014.cnam.fr Language: English - Date: 2014-06-30 10:08:35 Surname Petri nets Theoretical computer science Formal methods Concurrency Diagrams Models of computation Wilfried Brauer Carl Adam Petri Brauer Petri Rdiger Valk
20	Chair of Databases and Information Systems Department of Computer and Information Science Bachelor Thesis Fine Granular Locking in XML Databases Add to Reading List Source URL: files.basex.org Language: English - Date: 2013-06-03 05:41:55 Computing Data Data management XML databases Concurrency control BaseX Transaction processing XQuery EXist 2PL Lock Database